Towards a Language for Graph-Based Model Transformation Design Patterns

نویسندگان

  • Hüseyin Ergin
  • Eugene Syriani
چکیده

In model-driven engineering, most problems are solved using model transformation. However, the development of a model transformation for a specific problem is still a hard task. The main reason for that is the lack of a development process where transformations must be designed before implemented. As in object-oriented design, we believe that “good design” of model transformation can benefit tremendously from model transformation design patterns. Hence, in this paper, we present DelTa, a language for expressing design patterns for model transformations. DelTa is more abstract than and independent from any existing model transformation language, yet it is expressive enough to define design patterns as guidelines transformation developers can follow. To validate the language, we have redefined four known model transformation design patterns in DelTa and demonstrated how such abstract transformation guidelines can be implemented in five different model transformation languages.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness

Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...

متن کامل

Towards Verifying Model Transformations

In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and performing the verification and analysis on the analysis model. Graph transformation is increasingly being used to automate this conversion. In such a scenario, it is very important that the conversion preserves the se...

متن کامل

Reusable Idioms and Patterns in Graph Transformation Languages

Software engineering tools based on Graph Transformation techniques are becoming available, but their practical applicability is somewhat reduced by the lack of idioms and design patterns. Idioms and design patterns provide prototypical solutions for recurring design problems in software engineering, but their use can be easily extended into the graph transformation systems. In this paper we br...

متن کامل

A Transformation-Driven Approach to the Verification of Security Policies in Web Designs

In this paper, we present a verification framework for security policies of Web designs. The framework is based on the transformation of the models that conform the system design into a formalism where further analysis can be performed. The transformation is specified as a triple graph transformation system, which in addition creates mappings between the elements in the source and target models...

متن کامل

A suitable data model for HIV infection and epidemic detection

Background: In recent years, there has been an increase in the amount and variety of data generated in the field of healthcare, (e.g., data related to the prevalence of contagious diseases in the society). Various patterns of individuals’ relationships in the society make the analysis of the network a complex, highly important process in detecting and preventing the incidence of diseases....

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014